projects / xen.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 496673a 1c9fdc4)
Merge debian/ from archive/debian/4.8.0_rc3-1
authorIan Jackson <ian.jackson@citrix.com>
Fri, 11 Nov 2016 15:09:13 +0000 (15:09 +0000)
committerIan Jackson <ian.jackson@citrix.com>
Fri, 11 Nov 2016 15:10:22 +0000 (15:10 +0000)
(And discard old debian/patches/)


Trivial merge
Unnamed repository; edit this file 'description' to name the repository.